Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Multi-Core By Default
rfleury.comยท17hยท
๐Ÿ”ฉSystems Programming
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.comยท21hยท
โš™๏ธDIY Electronics
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท16hยท
Discuss: DEV
๐ŸงฉRISC-V
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท9hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Keyboard Holders, Generation 1
cceckman.comยท1dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards